Interprocedural Array Region Analyses
نویسندگان
چکیده
منابع مشابه
Interprocedural Analyses: A Comparison
We present a framework for program analysis of languages with procedures which is general enough to allow for a comparison of various approaches to interproce-dural analysis. Our framework is based on a small-step operational semantics and subsumes both frameworks for imperative and for logic languages. We consider reachability analysis, that is, the problem of approximating the sets of program...
متن کاملInterprocedural Array Alignment Analysis
The specification of efficient data distribution schemes is one of the major tasks in programming DMMPs with data parallel languages. Although there are no optimal strategies for generating such data distributions , several heuristics have been developed to provide some support to the user. We presented an overview of an automatic alignment analysis tool elsewhere, which is able to automaticall...
متن کاملIN and OUT Array Region Analyses
In order to perform powerful program optimizations an exact interprocedural analysis of array data ow is needed For that purpose two new types of array region are introduced IN and OUT regions represent the sets of array elements the values of which are imported to or exported from the current statement or procedure Among the various applications are compilation of communications for message pa...
متن کاملInterprocedural Analysis Based on Guarded Array Regions
Array data ow information plays an important role for successful automatic parallelization of Fortran programs. This chapter proposes a powerful symbolic array data ow summary scheme to support array privatization and loop parallelization for programs with arbitrary control ow graphs and acyclic call graphs. Our approach summarizes array access information interprocedurally, using guarded array...
متن کاملAn Overview of Compiler Techniques for Interprocedural Array Section Analysis
Dependence analysis of arrays is crucial in the compilation of parallel applications, as an inaccurate summary of array usage may reduce the potential for optimizations. Standard scalar techniques are inadequate for they do not accommodate speci c accesses to arrays. Array section analysis describes accesses to arrays at a ner granularity than the scalar techniques. More precisely, array sectio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Parallel Programming
سال: 1996
ISSN: 0885-7458,1573-7640
DOI: 10.1007/bf03356758